TSTP Solution File: ANA053^1 by SInE---0.4